CSC236 Introduction to the Theory of Computation
Instructor: Harry Sha
Course Overview:
The application of logic and proof techniques to Computer Science. Mathematical induction; correctness proofs for iterative and recursive algorithms; recurrence equations and their solutions; introduction to automata and formal languages.
Recommend Textbook: